#include "klee/util/Ref.h"

#ifndef BUGLE_REF_H
#define BUGLE_REF_H

namespace bugle {

using klee::ref;
}

#endif
